2161. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
2162. Semantics of programming languages
پدیدآورنده : Tennent, R.D.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
T473
1991
2163. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
پدیدآورنده : Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
58
.
E26
1990
2164. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
پدیدآورنده : I. Guessarian )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
469
2165. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
2166. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
2167. Semantics with applications
پدیدآورنده : / Hanne Riis Nielson and Flemming Nielson
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
N543
,
2007
2168. Setting up LAMP :
پدیدآورنده : Eric Rosebrock ; Eric Filson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Apache (Computer file : Apache Group),Linux.,MySQL (Electronic resource),Apache (Computer file : Apache Group),Linux.,MySQL (Electronic resource),PHP (Computer program language),Web sites-- Design.,COMPUTERS-- Programming Languages-- JavaScript.,COMPUTERS-- Programming Languages-- VBScript.,PHP (Computer program language),Web sites-- Design.
رده :
QA76
.
73
.
P224
R67
2004eb
2169. SharePoint 2007 and Office development expert solutions /
پدیدآورنده : Randy Holloway, Andrej Kyselica, Steve Caravajal.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microsoft Office.,Microsoft SharePoint (Electronic resource),Microsoft Office.,Microsoft SharePoint.,Microsoft Office.,Microsoft Office.,Microsoft SharePoint (Electronic resource),Microsoft SharePoint (Electronic resource),Intranets (Computer networks),Web servers.,Intranets.,Serveurs Web.,COMPUTERS-- Networking-- Intranets & Extranets.,Intranets (Computer networks),Web servers.
رده :
TK5105
.
875
.
I6
H64
2007eb
2170. Sharp pocket computer pc-1212:applications manual
پدیدآورنده :
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MICROCOMPUTERS-PROGRAMMING , PROGRAMMING )ELECTRONIC COMPUTERS(
رده :
QA
76
.
8
.
P3
S33
2171. Silicon literacies: communication, innovation and education in the electronic age
پدیدآورنده : edited by ilana snyder
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer graphics -- computer programs,، Programming )Electronic computers(
رده :
T
385
.
S57
2172. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
2173. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
2174. Simplified Ansi FORTRAN Iv programming
پدیدآورنده : / Gerald A. Cilver, Joan B. Silver
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : FORTRAN (Computer program language),Electronic digital computers - Programming
رده :
001
.
6424F
S587s
1976
2175. Simplified FORTRAN IV programming
پدیدآورنده : Silver, Gerald A.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : FORTRAN IV )Computer program language( , Electronic digital computers - Programming
رده :
QA
76
.
5
.
S552
1971
2176. Simplified FORTRAN IV programming
پدیدآورنده : Silver, Gerald A.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، FORTRAN IV )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
S552
2177. Smart multicore embedded systems
پدیدآورنده : / Massimo Torquati, Koen Bertels, Sven Karlsson, Francois Pacull, editors
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Parallel programming (Computer science),Embedded computer systems, Design and construction,Multiprocessors,Parallel processing (Electronic computers),Engineering,Circuits and Systems,Processor Architectures,Electronics and Microelectronics, Instrumentation
رده :
E-BOOK
2178. Software Engineering Environments
پدیدآورنده : Editor Pearl Brereton
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic digital computers- Programming,Computer engineering
رده :
QA
،
76
.
6
،.
S6478
،
1988
2179. Software Engineering; an Advancd Course
پدیدآورنده : edited by F. L. Bauer
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
A33
1972a
2180. Software System Design Methods :
پدیدآورنده : edited by Jozef K. Skwirzynski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1986
